quadratic formula proof